merge {=} <> : Type
